A note on the theory of positive induction, ID*1
نویسندگان
چکیده
The article shows a simple way of calibrating the strength of the theory of positive induction, ID1. Crucially the proof exploits the equivalence of Σ 1 1 dependent choice and ω-model reflection for Π2 formulae over ACA0. Unbeknown to the authors, D. Probst had already determined the proof-theoretic strength of ID1 in [13].
منابع مشابه
Some Theories with Positive Induction of Ordinal Strength '!0
This paper deals with: (i) the theory ID # 1 which results from c ID 1 by restricting induction on the natural numbers to formulas which are positive in the xed point constants, (ii) the theory BON() plus various forms of positive induction, and (iii) a subtheory of Peano arithmetic with ordinals in which induction on the natural numbers is restricted to formulas which are in the ordinals. We s...
متن کاملA NOTE ON STRATIFIED LM-FILTERS
We develop a theory of stratified $LM$-filters which generalizes the theory of stratified $L$-filters. Our stratification condition explicitly depends on a suitable mapping between the lattices $L$ and $M$. If $L$ and $M$ are identical and the mapping is the identity mapping, then we obtain the theory of stratified $L$-filters. Based on the stratified $LM$-filters, a general theory of lattice-v...
متن کاملAn Optimal Selection of Induction Heating Capacitance by Genetic Algorithm Considering Dissipation Loss Caused by ESR (TECHNICAL NOTE)
In design of a parallel resonant induction heating system, choosing a proper capacitancefor the resonant circuit is quite important. The capacitance affects the resonant frequency, outputpower, Q-factor, heating efficiency and power factor. In this paper, the role of equivalent seriesresistance (ESR) in the choice of capacitance is significantly recognized. Optimal value of resonancecapacitor i...
متن کاملA NOTE ON "A SIXTH ORDER METHOD FOR SOLVING NONLINEAR EQUATIONS"
In this study, we modify an iterative non-optimal without memory method, in such a way that is becomes optimal. Therefore, we obtain convergence order eight with the some functional evaluations. To justify our proposed method, some numerical examples are given.
متن کاملAdaptive Speed Control of Three-Phase Induction Servo-drives Based on Feedback Linearization Theory
In this paper, based on feedback linearization control method and using a special PI (propotational integrator) regulator (IP) in combination with a feed-forward controller, a three-phase induction servo-drive is speed controlled. First, an observer is employed to estimate the rotor d and q axis flux components. Then, two input-output state variables are introduced to control the dynamics of to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 49 شماره
صفحات -
تاریخ انتشار 2010